Toward the Trustworthiness of Industrial Robotics Using Differential Fuzz Testing
نویسندگان
چکیده
Intelligent robots are a current application in Industrial Internet of Things (IIoT), with their trustworthiness being topic considerable research interest. Vulnerabilities robot software may affect the robotics. To detect these vulnerabilities software, this study proposes differential fuzz testing method. The main idea is to continuously execute test cases for different versions packages inconsistencies among outputs and eventually discover vulnerabilities. First, generated, combining seed generation mutation, after which measured model visualization tool (RVIZ) built generated seeds executed. differences inconsistent calculated causes analyzed. Two evaluation metrics presented. This method applied crucial package ROS-MoveIt!. results show that arm.go() xmlns:xlink="http://www.w3.org/1999/xlink">moveit_commander has joint angle overflow.
منابع مشابه
Instrumented Fuzz Testing Using AIR Integers
Integers represent a growing and underestimated source of vulnerabilities in C and C++ programs. In this paper, we present the as-if infinitely ranged (AIR) integer model, which provides a largely automated mechanism for eliminating integer overflow, truncation, and other integral exceptional conditions. The AIR integer model either produces a value equivalent to one that would have been obtain...
متن کاملInstrumented Fuzz Testing Using AIR Integers (Whitepaper)
Integers represent a growing and underestimated source of vulnerabilities in C and C++ programs. In this paper, we present the as-if infinitely ranged (AIR) integer model, which provides a largely automated mechanism for eliminating integer overflow, truncation, and other integral exceptional conditions. The AIR integer model either produces a value equivalent to one that would have been obtain...
متن کاملAutomated Whitebox Fuzz Testing
Fuzz testing is an effective technique for finding security vulnerabilities in software. Traditionally, fuzz testing tools apply random mutations to well-formed inputs and test the program on the resulting values. We present an alternative whitebox fuzz testing approach inspired by recent advances in symbolic execution and dynamic test generation. Our approach records an actual run of a program...
متن کاملWhen Can Finite Testing Ensure Infinite Trustworthiness?
In this paper we contribute to the general philosophical question as to whether empirical testing can ever prove a physical law. Problems that lead to this question arise under several contexts, and the matter has been addressed by the likes of Bayes and Laplace. After pointing out that a Bayesian approach is the proper way to address this problem, we show that the answ...
متن کاملassessment of the efficiency of s.p.g.c refineries using network dea
data envelopment analysis (dea) is a powerful tool for measuring relative efficiency of organizational units referred to as decision making units (dmus). in most cases dmus have network structures with internal linking activities. traditional dea models, however, consider dmus as black boxes with no regard to their linking activities and therefore do not provide decision makers with the reasons...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Industrial Informatics
سال: 2023
ISSN: ['1551-3203', '1941-0050']
DOI: https://doi.org/10.1109/tii.2022.3211888